Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
291	APPENDIX F – Science and Engineering Practices in the NGSS A Science Framework for K-12 Science Education provides the blueprint for developing the Next Generation Science Standards (NGSS). The Framework expresses a vi Add to Reading List Source URL: www.nextgenscience.org Language: English - Date: 2015-12-28 17:20:10 Scientific method Education reform Formal sciences Education in the United States Next Generation Science Standards Science education Statistics Economic model Engineering Systems engineering Research Conceptual model
292	On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology Barry Smith,1,2 Jacob Köhler3 and Anand Kumar2 2 Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2004-01-28 11:21:00 Ontology Gene ontology Formal ontology Open Biomedical Ontologies Web Ontology Language Category of being Definition OBO Foundry Upper ontology
293	Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-14 06:24:22 Formal methods Systems engineering Theoretical computer science Formal verification Logic in computer science Specification Object Process Methodology Cress Verification Diagram
294	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
295	Algorithmic Bias: From Discrimination Discovery to Fairness-aware Data Mining Sara Hajian Francesco Bonchi Add to Reading List Source URL: francescobonchi.com Language: English - Date: 2016-06-16 09:13:01 Formal sciences Data mining Business intelligence Big data ECML PKDD SIGKDD Analytics Data science
296	Mathematics in science The language of mathematics in science Richard Boohan ABSTRACT ‘The Language of Mathematics in Science’ is an ASE/Nuffield project aimed at Add to Reading List Source URL: www.ase.org.uk Language: English - Date: 2016-02-26 06:14:59 Formal sciences Graph Graph theory Line graph Plot Logarithm Mathematics Pathwidth Signed graph
297	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
298	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
299	HINO: a BFO-aligned ontology representing human molecular interactions and pathways Yongqun He, Zoushuang Xiang Department of Microbiology and Immunology, Unit for Laboratory Animal Medicine, and Center for Computationa Add to Reading List Source URL: arxiv.org Language: English* - Date: 2013-11-14 20:02:45 Ontology Semantic Web Biological databases Information science Bioinformatics BioPAX Reactome OBO Foundry Formal ontology Gene ontology Biological pathway Web Ontology Language
300	Generating Subjective Responses to Opinionated Articles in Social Media: An Agenda-Driven Architecture and a Turing-Like Test Tomer Cagan School of Computer Science The Interdisciplinary Center Herzeliya, Israel Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2014-05-26 04:14:00 Humancomputer interaction Natural language processing Formal sciences Affective computing Sentiment analysis Computational linguistics Framing CONFER Emotion Persuasive technology Social media Computer science

UPDATE